Snapshot semantics for temporal multiset relations

Multiset relations : a tool for proving termination ?

The Multiset Semantics of SPARQL Patterns

The paper determines the algebraic and logic structure of the multiset semantics of the core patterns of SPARQL. We prove that the fragment formed by AND, UNION, OPTIONAL, FILTER, MINUS and SELECT corresponds precisely to both, the intuitive multiset relational algebra (projection, selection, natural join, arithmetic union and except), and the multiset non-recursive Datalog with safe negation.

Verifying an Applicative ATP Using Multiset Relations

We present in this paper a formalization of multiset relations in the ACL2 theorem prover [6], and we show how multisets can be used to mechanically prove non-trivial termination properties. Every relation on a set A induces a relation on finite multisets over A; it can be shown that the multiset relation induced by a well-founded relation is also wellfounded [3]. We have carried out a mechanic...

A Multiset Semantics for the pi-Calculus with Replication

A multiset (or Petri net) semantics is de ned for the calculus with replication. The semantic mapping is a strong bisimulation, and structurally congruent processes have the same semantics. This paper is readable without knowledge of Petri nets.

Update semantics for multilevel relations

In this paper we give a formal operational semantics for update operations on multilevel relations, i.e., relations in which individual data elements are classi ed at di erent levels. For this purpose, the familiar INSERT, UPDATE and DELETE operations of SQL are suitably generalized to cope with polyinstantiation. We conjecture that these operations are consistent (or sound) in that all relatio...